Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia

Source URL: shemesh.larc.nasa.gov

• Avionics
• Theoretical computer science
• Aircraft collision avoidance systems
• Warning systems
• Traffic collision avoidance system
• Air traffic control
• Formal methods
• Self-separation
• Unmanned aerial vehicle
• Formal verification

A VIRTUAL LABORATORY FOR BIODIVERSITY RESEARCH BioVeL is an e-laboratory that integrates data and analysis methods from diverse biological disciplines, in particular for: The Partners

Source URL: www.biovel.eu

• Ecology
• Biodiversity
• AquaMaps
• Global Biodiversity Information Facility
• Ecosystem services
• Biodiversity informatics
• Environmental niche modelling

Research on the Japanese Language & the Japanese Language Education Cognitive Psychology and Teaching Methods of the Japanese Language 日本語・日本語 第  教育を研究する 27回

Source URL: www.jpf.go.jp

Statistical methods for phase I/II trials of molecularly targeted agents in oncology Maria-Athina Altzerinakou1 Xavier Paoletti2 1. CESP OncoStat, INSERM, Université Paris-Saclay, Université Paris-Sud, UVSQ, Institut G

Source URL: www.ideas-itn.eu

• Antineoplastic drugs
• Drugs
• Targeted therapy
• Clinical research
• Phases of clinical research

Tox21 – Toxicity Testing in the 21st Century The Issue Tox21 is a multi-agency collaboration1 with the objective to research, develop, validate and translate chemical testing methods to characterize toxicity pathways.

Source URL: 191hmt1pr08amfq62276etw2.wpengine.netdna-cdn.com

• Toxicology
• Alternatives to animal testing
• Animal testing
• Tests
• Medical research
• Toxicity
• In vitro
• Evidence-based toxicology

Running head: A MULTILINGUAL PSEUDOWORD GENERATOR Preprint of paper published as: Keuleers, E., & Brysbaert, MWuggy: A multilingual pseudoword generator. Behavior Research Methods, 42(3), 627–633. doi:

Source URL: crr.ugent.be

• Phonology
• Phonotactics
• Cognitive psychology
• Experimental psychology
• Learning psychology
• Pseudoword
• Lexical decision task
• Bigram
• Priming
• Syllable
• Homophone
• Word

Sketch-based Change Detection: Methods, Evaluation, and Applications Balachander Krishnamurthy, Subhabrata Sen, Yin Zhang AT&T Labs–Research; 180 Park Avenue Florham Park, NJ, USA

Source URL: sahara.cs.berkeley.edu

• Time series models
• Time series analysis
• Statistical forecasting
• Estimation theory
• Computational neuroscience
• Autoregressive integrated moving average
• Autoregressive model
• Forecasting
• Exponential smoothing
• Forecast error
• Time series
• Anomaly detection

Tutorial IJCNNSpiking Neural Networks for Machine Learning and Predictive Data Modelling: Methods, Systems, Applications Nikola Kasabov, FIEEE and Nathan Scott Knowledge Engineering and Discovery Research Institut

Source URL: www.conference123.org

• Computational neuroscience
• Artificial neural networks
• Computational statistics
• Neuroscience
• Neural networks
• Spiking neural network
• Computational intelligence
• Neuromorphic engineering
• Neuroinformatics
• CoDi
• Connectionism
• Biological neural network

FRANCOPA : the French platform dedicated to the development, validation and dissemination of alternative methods in animal testing The FRANCOPA consortium is composed by 15 members belonging to the four pillars that supp

Source URL: www.ecopa.eu

• Agence Nationale de Scurit du Mdicament et des Produits de Sant
• Pharmaceutical industry
• Science and technology in France
• Institut de veille sanitaire
• Public Scientific and Technical Research Establishment

references References Afshartous, DDetermination of sample size for multilevel model design. In V. S. Williams, L. V. Jones, & I. Olkin (Eds.), Perspectives on statistics for educational research: Proceedings

Source URL: ierinstitute.org

• Regression analysis
• Analysis of variance
• Statistical methods
• Econometrics
• Statistical models
• Multilevel model
• Structural equation modeling
• Trends in International Mathematics and Science Study
• Mixed model
• Linear regression
• Data analysis
• Statistics